Monitoring and programming languages

نویسنده

  • Cyrille Artho
چکیده

Cyrille Artho Domain-Specific Languages with Scala, and model-based testing as an example Domain-Specific Languages (DSLs) are often classified into external and internal DSLs. An external DSL is a stand-alone language with its own parser. An internal DSL is an extension of an existing programming language, the host language, offering the user of the DSL domain-specific constructs as well as the constructs of the host language. In this presentation, we will give a brief overview of the concepts and also look at an internal DSL used for model-based testing with the tool “Modbat”.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

True Lies: Lazy Contracts for Lazy Languages Faithfulness is Better than Laziness

Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract monitoring. Contract monitoring for lazy programming languages does not have a generally accepted basis. This paper discusses three approaches, eager, semi-eager, and lazy monitoring, all of which are flawed. The first two may chang...

متن کامل

Semantics Directed Program Execution Monitoring

Monitoring semantics is a formal model of program execution which captures “monitoring activity” as found in profilers, tracers, debuggers, etc. Beyond its theoretical interest, this formalism provides a new methodology for implementing a large family of source-level monitoring activities for sequential deterministic programming languages. In this article we explore the use of monitoring semant...

متن کامل

Modul for Run-time Monitoring in Pc Hardware Based Real-time System

This paper presents one way of implementation of hybrid on-line monitoring in real-time systems. Monitoring module is described in VHDL programming language and tested on Altera DE2 development board.

متن کامل

Plexil-Like Plan Execution Control in Agent Programming

BDI-based agent programming languages are well-known technologies for implementing autonomous agents in dynamic environments. Supporting robot programming however requires the plan representation and execution control capabilities of these languages to be extended for 1-) controlling and monitoring the execution of actions in complex arrangements and 2-) coordinating the parallel execution of p...

متن کامل

Under consideration for publication in Formal Aspects of Computing Foundations for Monitoring and Checking Reactive Systems

A run-time monitoring technique has become a promising methodology for higher system assurance by validating a current execution trace with regard to a given requirement specification. To formalize and understand the computational nature of run-time monitoring is a key to utilize this valuable technique. In this paper, we formalize the notion of run-time monitoring of reactive systems in terms ...

متن کامل

A monitoring solution for multi-language software

Correctness of software is very important. In some applications a software failure may cause serious —even physical— damage, for example when the software manages railroad switches. In other applications the results of a software failure might not be so dramatic, but preventing failures is still essential in order to provide a good user experience. Runtime monitoring is a method for ensuring so...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017